Semantic Visual Localization

Robust visual localization under a wide range of viewing conditions is a fundamental problem in computer vision. Handling the difficult cases of this problem is not only very challenging but also of high practical relevance, e.g., in the context of life-long localization for augmented reality or autonomous robots. In this paper, we propose a novel approach based on a joint 3D geometric and semantic understanding of the world, enabling it to succeed under conditions where previous approaches failed. Our method leverages a novel generative model for descriptor learning, trained on semantic scene completion as an auxiliary task. The resulting 3D descriptors are robust to missing observations by encoding high-level 3D geometric and semantic information. Experiments on several challenging large-scale localization datasets demonstrate reliable localization under extreme viewpoint, illumination, and geometry changes

Cohalogenation of Allyl and Vinylsilanes using Polymer-bound Haloate(I)-Reagents

Polymer-supported electrophilic halogenate(I) complexes 2 and 3 promote smooth addition to vinyl and allylsilanes without loss of the silyl group. In conjunction with Amberlyst A26 (OH− -form) vinyl silanes are converted into epoxysilanes.Fonds der Chemischen IndustrieNovabiochem (Switzerland

The CHORCH Approach: How to Model B2Bi Choreographies for Orchestration Execution

The establishment and implementation of cross-organizational business processes is an implication of today's market pressure for efficiency gains. In this context, Business-To-Business integration (B2Bi) focuses on the information integration aspects of business processes. A core task of B2Bi is providing adequate models that capture the message exchanges between integration partners. Following the terminology used in the SOA domain, such models will be called choreographies in the context of this work. Despite the enormous economic importance of B2Bi, existing choreography languages fall short of fulfilling all relevant requirements of B2Bi scenarios. Dedicated B2Bi choreography standards allow for inconsistent outcomes of basic interactions and do not provide unambiguous semantics for advanced interaction models. In contrast to this, more formal or technical choreography languages may provide unambiguous modeling semantics, but do not offer B2Bi domain concepts or an adequate level of abstraction. Defining valid and complete B2Bi choreography models becomes a challenging task in the face of these shortcomings. At the same time, invalid or underspecified choreography definitions are particularly costly considering the organizational setting of B2Bi scenarios. Models are not only needed to bridge the typical gap between business and IT, but also as negotiation means among the business users of the integration partners on the one hand and among the IT experts of the integration partners on the other. Misunderstandings between any two negotiation partners potentially affect the agreements between all other negotiation partners. The CHORCH approach offers tailored support for B2Bi by combining the strengths of both dedicated B2Bi standards and formal rigor. As choreography specification format, the ebXML Business Process Specification Schema (ebBP) standard is used. ebBP provides dedicated B2Bi domain concepts such as so-called BusinessTransactions (BTs) that abstractly specify the exchange of a request business document and an optional response business document. In addition, ebBP provides a format for specifying the sequence of BT executions for capturing complex interaction scenarios. CHORCH improves the offering of ebBP in several ways. Firstly, the execution model of BTs which allows for inconsistent outcomes among the integration partners is redefined such that only consistent outcomes are possible. Secondly, two binary choreography styles are defined as B2Bi implementation contract format in order to streamline implementation projects. Both choreography styles are formalized and provided with a formal execution semantics for ensuring unambiguity. In addition, validity criteria are defined that ensure implementability using BPEL-based orchestrations. Thirdly, the analysis of the synchronization dependencies of complex B2Bi scenarios is supported by means of a multi-party choreography style combined with an analysis framework. This choreography style also is formalized and standard state machine semantics are reused in order to ensure unambiguity. Moreover, validity criteria are defined that allow for analyzing corresponding models for typical multi-party choreography issues. Altogether, CHORCH provides choreography styles that are B2Bi adequate, simple, unambiguous, and implementable. The choreography styles are B2Bi adequate in providing B2Bi domain concepts, in abstracting from low-level implementation details and in covering the majority of real-world B2Bi scenarios. Simplicity is fostered by using state machines as underlying specification paradigm. This allows for thinking in the states of a B2Bi scenario and for simple control flow structures. Unambiguity is provided by formal execution semantics whereas implementability (for the binary choreography styles) is ensured by providing mapping rules to BPEL-based implementations. The validation of CHORCH's choreography styles is performed in a twofold way. Firstly, the implementation of the binary choreography styles based on Web Services and BPEL technology is demonstrated which proves implementability using relatively low-cost technologies. Moreover, the analysis algorithms for the multi-party choreography styles are validated using a Java-based prototype. Secondly, an abstract visualization of the choreography styles based on BPMN is provided that abstracts from the technicalities of the ebBP standard. This proves the amenability of CHORCH to development methods that start out with visual models. CHORCH defines how to use BPMN choreographies for the purpose of B2Bi choreography modeling and translates the formal rules for choreography validity into simple composition rules that demonstrate valid ways of connecting the respective modeling constructs. In summary, CHORCH allows integration partners to start out with a high-level visual model of their interactions in BPMN that identifies the types and sequences of the BusinessTransactions to be used. For multi-party choreographies, a framework for analyzing synchronization dependencies then is available. For binary choreographies, an ebBP refinement can be derived that fills in the technical parameters that are needed for deriving the implementation. Finally, Web Services and BPEL based implementations can be generated. Thus, CHORCH allows for stepwise closing the semantic gap between the information perspective of business process models and the corresponding implementations. It is noteworthy that CHORCH uses international standards throughout all relevant layers, i.e., BPMN, ebBP, Web Services and BPEL, which helps in bridging the heterogeneous IT landscapes of B2Bi partners. In addition, the adoption of core CHORCH deliverables as international standards of the RosettaNet community give testament to the practical relevance and promise dissemination throughout the B2Bi community.Betriebsübergreifende Geschäftsprozessintegration ist eine logische Konsequenz allgegenwärtigen Wettbewerbsdrucks. In diesem Kontext fokussiert Business-To-Business integration (B2Bi) auf die Informationsaustausche zwischen Unternehmen. Eine B2Bi-Kernanforderung ist die Bereitstellung adäquater Modelle zur Spezifikation der Nachrichtenaustausche zwischen Integrationspartnern. Diese werden im Rahmen dieser Arbeit in Anlehnung an Service-orientierte Architekturen (SOA)-Terminologie Choreographien genannt. Bestehende Choreographiesprachen decken die Anforderungen an B2Bi-Choreographien nicht vollständig ab. Dedizierte B2Bi-Choreographiestandards definieren inkonsistente Austauschprozeduren für grundlegende Interaktionen und nur unvollständige Semantiken für fortgeschrittene Interaktionen. Formale oder Technik-getriebene Choreographiesprachen bieten die benötigte Präzision, lassen aber Domänenkonzepte vermissen oder operieren auf einer niedrigen Abstraktionsebene. Angesichts solcher Mängel wird die Spezifikation valider und vollständiger B2Bi-Choreographien zu einer echten Herausforderung. Gleichzeitig sind mangelhafte Choreographiemodelle gerade im B2Bi-Bereich besonders problematisch, da diese nicht nur zwischen Fach- und IT-Abteilung, sondern auch über Unternehmensgrenzen hinweg eingesetzt werden. Der CHORCH-Ansatz schafft an dieser Stelle mittels maßgeschneiderter Choreographien Abhilfe, welche die Vorteile von B2Bi-Choreographien und von formalen Ansätzen kombinieren. Als Ausgangspunkt wird das ebXML Business Process Specification Schema (ebBP) verwendet, das als B2Bi-Choreographiestandard Domänenkonzepte wie zum Beispiel sogenannte BusinessTransactions (BTs) bietet. Eine BT ist der Basisbaustein von B2Bi-Choreographien und spezifiziert den Austausch eines Geschäftsdokuments sowie eines optionalen Antwortdokuments. Darüber hinaus bietet ebBP ein Format zur Spezifikation von BT-Kompositionen zur Unterstützung komplexer Interaktionen. CHORCH erweitert ebBP wie folgt. Erstens, das Ausführungsmodell für BTs wird neu definiert, um inkonsistente Ergebniszustände zu eliminieren. Zweitens, für Entwicklungsprojekte werden zwei binäre Choreographieklassen definiert, die als B2Bi-Implementierungskontrakt dienen sollen. Die Formalisierung beider Klassen sowie formale operationale Semantiken gewährleisten Eindeutigkeit, während Validitätskriterien die Ausführbarkeit entsprechender Modelle mittels BPEL-basierter Orchestrationen garantieren. Drittens, zur Analyse der Synchronisationsbeziehungen komplexer B2Bi-Szenarien wird eine Multi-Party-Choreographieklasse nebst Analyseframework definiert. Wiederum wird für diese Klasse eine Formalisierung definiert, die mittels Standard-Zustandsautomatensemantik Eindeutigkeit gewährleistet. Ferner garantieren Validitätskriterien die Anwendbarkeit der definierten Analysealgorithmen. Insgesamt bieten die Choreographieklassen des CHORCH-Ansatzes ein B2Bi-adäquates, einfaches, eindeutiges und implementierbares Modell der Nachrichtenaustausche zwischen B2Bi-Partnern. B2Bi-Adäquatheit wird durch Verwendung von B2Bi-Domänenkonzepten, Abstraktion von rein technischen Kommunikationsdetails und Abdeckung der meisten praktisch relevanten B2Bi-Szenarien gewährleistet. Einfachheit ist ein Ausfluss der Verwendung eines Zustandsmaschinen-basierten Modellierungsparadigmas, das die Definition des Interaktionsfortschritts in Form von Zuständen sowie einfache Kontrollflussstrukturen ermöglicht. Eindeutigkeit wird durch die Verwendung formaler Semantiken garantiert, während Implementierbarkeit (für die beiden binären Choreographieklassen) durch Angabe von Mapping-Regeln auf BPEL-Orchestrationen sichergestellt wird. Die Validierung der CHORCH-Choreographieklassen erfolgt in zweierlei Hinsicht. Erstens, die Implementierbarkeit der binären Choreographieklassen mit Hilfe von Web Services und BPEL wird durch die Definition entsprechender Mappingregeln belegt. Weiterhin wird das Analyseframework der Multi-Party-Choreographieklasse als Java-Prototyp implementiert. Zweitens, für alle Choreographieklassen wird eine abstrakte Visualisierung auf BPMN-Basis definiert, die von diversen technischen Parametern des ebBP-Formats abstrahiert. Damit wird die Integrierbarkeit der CHORCH-Choreographieklassen in Entwicklungsansätze, die ein visuelles Modell als Ausgangspunkt vorsehen, belegt. CHORCH definiert, wie sogenannte BPMN-Choreographien zum Zweck der B2Bi-Choreographiemodellierung zu verwenden sind und übersetzt die Validitätskriterien der CHORCH-Choreographieklassen in einfache Modell-Kompositionsregeln. In seiner Gesamtheit bietet CHORCH somit einen Ansatz, mit Hilfe dessen B2Bi-Partner zunächst die Typen und zulässigen Reihenfolgen ihrer Geschäftsdokumentaustausche auf Basis eines abstrakten visuellen BPMN-Modells identifizieren können. Im Fall von Multi-Party-Choreographien steht dann ein Framework zur Analyse der Synchronisationsbeziehungen zwischen den Integrationspartnern zur Verfügung. Im Fall von binären Choreographien können ebBP-Verfeinerungen abgeleitet werden, welche die Modelle um technische Parameter anreichern, die zur Ableitung einer Implementierung benötigt werden. Diese ebBP-Modelle sind in Web Services- und BPEL-basierte Implementierungen übersetzbar. Damit erlaubt CHORCH die schrittweise Überbrückung der semantischen Lücke zwischen der Informationsaustauschperspektive von Geschäftsprozessmodellen und den zugehörigen Implementierungen. Ein beachtenswerter Aspekt des CHORCH-Ansatzes ist die Verwendung einschlägiger internationaler Standards auf allen Abstraktionsebenen, im Einzelnen BPMN, ebBP, Web Services und BPEL. Die Verwendung von Standards trägt dem heterogenen Umfeld von B2Bi-Szenarien Rechnung. Zusätzlich wurden Kernergebnisse des CHORCH-Ansatzes als internationale Standards der RosettaNet-B2Bi-Community veröffentlicht. Dies belegt die praktische Relevanz des Ansatzes und fördert die Verbreitung innerhalb der B2Bi-Community

Modelling and Validating Business Collaborations: A Case Study on RosettaNet

The way business processes are organised heavily influences the flexibility and the expenses of enterprises. The capability to address changing market needs in a timely manner and to provide appropriate pricing is indispensable in a world of internationalisation and growing competition. Optimising processes that cross enterprise boundaries potentially is a key success factor in achieving this goal but it requires the information systems of the participating enterprises to be consistently integrated. This gives rise to some challenging tasks. The personnel involved in building up business collaborations comes from different enterprises with different business vocabulary and background which requires extensive communication support. The lack of central technical infrastructure, typically prohibited by business politics, often calls for a distributed and computer-aided collaboration structure, so that the resulting complexity must be handled somehow. Nevertheless robustness is an important factor in building business collaborations as these may exchange goods of considerable value. This technical report proposes the use of a two step modelling approach that separates business logic, modelled in the so-called centralised perspective (CP), from its distributed implementation, modelled in the so-called distributed perspective (DP). The separation of these perspectives enables business people to concentrate on business issues and to solve communication problems in the CP whereas technical staff can concentrate on distribution issues. The use of stringent modelling rules is advised in order to provide the basis for formal analysis techniques as one means to achieve robustness. Considering the choreography of RosettaNet Partner Interface Processes (PIPs) as the subject of my analysis, UML activity diagrams for modelling the CP and WSBPEL for modelling the DP are described as enabling techniques for implementing the proposed two step modelling approach. Further, model checking is applied to validate the CP and DP models in order to detect errors in early design phases. As the adequacy of model checking tools highly depends on the detailed modelling techniques as well as the properties to be checked, a major part of our discussion covers relevant properties and requirements for a model checker.Die Organisation von Geschäftsprozessen hat substantiellen Einfluss auf Flexibilität und Kosten eines Unternehmens. Die Fähigkeit, flexibel auf neue Marktanforderungen mit angemessenen Preisen reagieren zu können, ist in Zeiten der Internationalisierung und wachsenden Wettbewerbs überlebenswichtig. Die Optimierung unternehmensübergreifender Geschäftsprozesse ist ein potentieller Erfolgsfaktor für die Sicherstellung dieser Fähigkeit. Dazu müssen jedoch die Informationssysteme der beteiligten Unternehmen in konsistenter Weise integriert werden. So ergeben sich herausfordernde Aufgaben für Unternehmen. Typischerweise gehören Personen, die an der Realisierung einer Geschäftskollaboration mitwirken, unterschiedlichen Unternehmen an und haben ein unterschiedliches Verständnis von Geschäftsprozessen sowie unterschiedliches Vokabular zur Beschreibung von Geschäftsprozessen. Daher muss die Kommunikation zwischen diesen Personen besonders unterstützt werden. Weiterhin muss die Realisierung von Geschäftskollaborationen häufig verteilt vorgenommen werden, da keine zentrale technische Infrastruktur zur Verfügung steht oder aufgrund unternehmenspolitischer Restriktionen nicht möglich ist. Daher muss die entstehende Komplexität bewältigt werden. Schließlich werden im Rahmen einer Geschäftskollaboration häufig Güter beträchtlichen Werts ausgetauscht, sodass Robustheit eine maßgebende Anforderung an deren Realisierung ist. In diesem Arbeitsbericht wird ein zweistufiger Modellierungsansatz zur Bewältigung dieser Aufgaben vorgeschlagen, in dem die Modellierung von Geschäftslogik aus der so genannten "centralised perspective" (CP) von der Modellierung der verteilten Implementierung aus der so genannten "distributed perspective" (DP) getrennt wird. Durch die Trennung dieser Perspektiven können kaufmännische Experten Geschäftslogik aus der CP modellieren und Kommunikationsprobleme lösen wohingegen technische Experten die verteilte Implementierung aus der DP modellieren können. Weiter werden stringente Modellierungsregeln für die jeweilige Perspektive eingeführt, um die zu erstellenden Modelle formalen Analysetechniken zugänglich zu machen und so Robustheit als Ziel zu verwirklichen. Die in diesem Arbeitsbericht vorgestellte Fallstudie behandelt die Choreographie von RosettaNet Partner Interface Processes (PIPs). Für die Fallstudie werden als mögliche Technologien UML Aktivitätsdiagramme zur Modellierung aus der CP und WSBPEL zur Modellierung aus der DP eingesetzt. Zusätzlich werden Model-Checking-Tools (Model Checker) zur Validierung der Modelle in frühen Entwicklungsphasen eingesetzt. Da die Adäquatheit eines Model Checkers wesentlich von der Art des Eingabemodells und den zu validierenden Eigenschaften abhängt, ist ein wichtiger Teil dieses Berichts der Identifikation relevanter Modelleigenschaften und der Analyse der Anforderungen an einen Model Checker gewidmet

Polymer-bound haloate(I) anions by iodine(III)-mediated oxidation of polymer-bound iodide: Synthetic utility in natural product transformations

A set of polymer-attached hypervalent iodate(I) complexes were prepared from polymer-bound iodide anion by ligand transfer of acetate and trifluoro acetate present in the corresponding iodine(III) reagents onto the iodide anion. The synthetic versatility of these polymer-bound reagents in terms of efficacy and ease of workup is demonstrated for selected examples in natural product synthesis and natural product derivatization. Thus, iodoacetoxylation of glycals is the initial step for the preparation of two deoxygenated disaccharides which are part of the carbohydrate units of the landomycins. In a second example, a one-pot multistep rearrangement of the decanolide decarestrictine D backbone is shown which is initiated by iodotrifluoroacylation of the olefinic double bond.Fonds der Chemischen Industri

Transfusion of red blood cells: the impact on short-term and long-term survival after coronary artery bypass grafting, a ten-year follow-up.

Transfusion of red blood cells (RBC) and other blood products in patients undergoing coronary artery bypass grafting (CABG) is associated with increased mortality and morbidity. We retrospectively analyzed data of patients who underwent an isolated coronary bypass graft operation between January 1998 and December 2007. Mean follow-up was 1696±1026 days, with exclusion of 122 patients lost to follow-up and 80 patients who received 10 units of RBC. Of the remaining patients, 8001 (76.7%) received no RBC, 1621 (15.2%) received 1–2 units of RBC, 593 (5.7%) received 3–5 units and 220 (2.1%) received 6–10 units. The number of transfused RBC was a predictor for early but not for late mortality. When compared to expected survival, survival of patients not receiving any blood product was better, while survival of patients receiving >3 units of RBC was worse. Transfusion of RBC is an independent, dose-dependent risk factor for early mortality after revascularization. Compared to expected survival, receiving no RBC improves patient long-term survival, whereas receiving three or more units of RBC significantly decreases patient survival

Analyzing the Interoperability of WS-Security and WS-ReliableMessaging Implementations

Since their invention as lightweight integration technology about a decade ago, Web Services have matured significantly. Today, major middleware solution vendors as well as industry communities like RosettaNet are propagating Web services even for exchanging business-critical data and implementing inter-organizational business processes. Core enablers for using Web services in this domain are stateful interactions using the Web Services Business Process Execution Language (WS-BPEL) as well as advanced communication features like security and reliability using the WS-Security and WS-ReliableMessaging standard specifications. However, advanced communication features come at the price of complexity which challenges interoperability across different Web services stack implementations. Interoperability, in turn, is a predominant requirement for an integration technology such as Web services, in particular if inter-organizational business processes are supposed to be implemented on top of that technology. This paper approaches the problem of testing the interoperability of the so-called WS-* standards, advanced Web services communication features that are typically defined as SOAP extensions and configured using WS-Policy. Being essential to business process integration, WS-Security and WS-ReliableMessaging are selected as representatives of this group and the two major Java-based Web services stack implementations Metro and Axis2 are tested for interoperability. We operationalize the notion of interoperability for testing WS-* standards, suppose an approach for deriving test cases from WS-* specifications as well as a method for performing the test cases, and we provide a comprehensive interoperability review of the two selected Web services stack implementations

A Requirements Analysis of Business-To-Business Integration

Ever fiercer competition has forced enterprises not only to optimize their own operations but also to cooperate with their suppliers and customers along their supply chains. Thus, competition today usually takes place between supply chains and not between individual enterprises. Business-To-Business integration (B2Bi) is a major task of supply chain management (SCM), and although it already has been researched for years, B2Bi is still an area of active research with a plethora of research questions and according approaches. Hence, management of B2Bi projects necessitates the identification of relevant requirements which is a far from trivial task. This paper identifies a core set of B2Bi challenges and deduces a comprehensive set of B2Bi requirements that are particularly useful for tackling the challenges identified. The derivation of B2Bi requirements follows an inductive approach that is based on the analysis of integration standards, reference architectures and related literature. In order to operationalize the B2Bi requirements for further analysis and concrete B2Bi projects, the requirements are classified according to the abstraction layers of a B2Bi schema. Thus, this report not only offers a requirements check list for B2Bi projects but also helps in deciding when to address which requirements during the course of a B2Bi project

Global Law as Intercontextuality and as Interlegality

Since the 1990s the effects of globalization on law and legal developments has been a central topic of scholarly debate. To date, the debate is however marked by three substantial deficiencies which this chapter seeks to remedy through a reconceptualization of global law as a law of inter-contextuality expressed through inter-legality and materialized through a particular body of legal norms which can be characterized as connectivity norms. The first deficiency is a historical and empirical one. Both critics as well as advocates of ‘non-state law’ share the assumption that ‘law beyond the state’ and related legal norms have gained in centrality when compared with previous historical times. While global law, including both public and private global governance law as well as regional occurrences such as EU law, has undergone profound transformations since the structural transformations which followed the de-colonialization processes of the mid-twentieth century, we do not have more global law relatively to other types of law today than in previous historical times. The second deficiency is a methodological one. The vast majority of scholarship on global law is either of an analytical nature, drawing on insights from philosophy, or empirically observing the existence of global law and the degree of compliance with global legal norms at a given moment in time. While both approaches bring something to the table they remain static approaches incapable of explaining and evaluating the transformation of global law over time. The third deficiency is a conceptual-theoretical one. In most instances, global law is understood as a unitary law producing singular legal norms with a planetary reach, or, alternatively, a radical pluralist perspective is adopted dismissing the existence of singular global norms. Both of these approaches however misapprehend the structural characteristics, function and societal effects of global law. Instead a third positon between unitary and radical pluralist perspectives can be adopted through an understanding of global law and its related legal norms as a de-centred kind of inter-contextual law characterised by inter-legality

Green Fluorescent Protein (GFP) Color Reporter Gene Visualizes Parvovirus B19 Non-Structural Segment 1 (NS1) Transfected Endothelial Modification

Background: Human Parvovirus B19 (PVB19) has been associated with myocarditis putative due to endothelial infection. Whether PVB19 infects endothelial cells and causes a modification of endothelial function and inflammation and, thus, disturbance of microcirculation has not been elucidated and could not be visualized so far. Methods and Findings: To examine the PVB19-induced endothelial modification, we used green fluorescent protein (GFP) color reporter gene in the non-structural segment 1 (NS1) of PVB19. NS1-GFP-PVB19 or GFP plasmid as control were transfected in an endothelial-like cell line (ECV304). The endothelial surface expression of intercellular-adhesion molecule-1 (CD54/ICAM-1) and extracellular matrix metalloproteinase inducer (EMMPRIN/CD147) were evaluated by flow cytometry after NS-1-GFP or control-GFP transfection. To evaluate platelet adhesion on NS-1 transfected ECs, we performed a dynamic adhesion assay (flow chamber). NS-1 transfection causes endothelial activation and enhanced expression of ICAM-1 (CD54: mean±standard deviation: NS1-GFP vs. control-GFP: 85.3±11.2 vs. 61.6±8.1; P<0.05) and induces endothelial expression of EMMPRIN/CD147 (CD147: mean±SEM: NS1-GFP vs. control-GFP: 114±15.3 vs. 80±0.91; P<0.05) compared to control-GFP transfected cells. Dynamic adhesion assays showed that adhesion of platelets is significantly enhanced on NS1 transfected ECs when compared to control-GFP (P<0.05). The transfection of ECs was verified simultaneously through flow cytometry, immunofluorescence microscopy and polymerase chain reaction (PCR) analysis. Conclusions: GFP color reporter gene shows transfection of ECs and may help to visualize NS1-PVB19 induced endothelial activation and platelet adhesion as well as an enhanced monocyte adhesion directly, providing in vitro evidence of possible microcirculatory dysfunction in PVB19-induced myocarditis and, thus, myocardial tissue damage